Revision: tla-tools--devo--0--patch-9
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Tue Jan  6 14:04:15 JST 2004
Standard-date: 2004-01-06 05:04:15 GMT
Modified-files: tla-switch.shpp
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-9
Summary: Make tla-switch preserve any uncommited changes

